Incremental Development for Automotive Software in AutoMoDe∗
نویسندگان
چکیده
Automotive software development is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of abstraction for integrated development. To facilitate the design and evolution of heterogeneous automotive software, suitable views for each level are supported, targeting development steps like instantiation, clustering, or deployment of functions. Analysis and synthesis steps enabling a consistent development process across these areas are integrated. The techniques described have been integrated into the tool prototype AutoFOCUS.
منابع مشابه
AutoMoDe – Notations, Methods, and Tools for Model-Based Development of Automotive Software
This paper describes the first results from the AutoMoDe project (Automotive Model-based Development), where an integrated methodology for model-based development of automotive control software is being developed. The results presented include a number of problem-oriented graphical notations, based on a formally defined operational model, which are associated with system views for various degre...
متن کاملModellbasierte Entwicklung softwareintensiver Systeme im Automobil
Development of embedded automotive software is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of abstraction for integrated development, and defines stepwise transitions between the levels. Along with the defin-ion for integrated development, and defines stepwise transitions betwee...
متن کاملSuccessful Use of Incremental BMC in the Automotive Industry
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and automated test case generation are some of the most common applications of automated verification tools based on Bounded Model Checking (BMC). Existing industrial tools for embedded software use an off-the-shelf Bounded Model Checker a...
متن کاملIncremental Bounded Model Checking for Embedded Software1
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on Bounded Model Checking (BMC). Existing industrial tools for embedded software use an off-the-shelf Bounded Model Checker and apply i...
متن کاملTowards a model-based and incremental development process for service-based systems
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different phases of the modeling and introduce appropriate models as well as suitable notations. A small example from the automotive domain is used throughout the paper to illustrate the approach.
متن کامل